English static program analysis: תרגום לשפות אחרות